منابع مشابه
Library Abstraction for C / C + + Concurrency — extended version —
When constructing complex concurrent systems, abstraction is vi-tal: programmers should be able to reason about concurrent li-braries in terms of abstract specifications that hide the implementa-tion details. Relaxed memory models present substantial challengesin this respect, as libraries need not provide sequentially consistentabstractions: to avoid unnecessary synchronisa...
متن کاملThe Joins Concurrency Library
Cω extended C 1.x with a simple, declarative and powerful model of concurrency join patterns applicable both to multithreaded applications and to the orchestration of asynchronous, event-based distributed applications. With Generics available in C 2.0, we can now provide join patterns as a library rather than a language feature. The Joins library extends its clients with an embedded, type-safe ...
متن کاملProposed Extensions to VHDL for Abstraction of Concurrency and Communication
communication in SUAVE occurs over channels, which are of declared channel types. Channels can be declared objects or interface objects.
متن کاملFull abstraction of a denotational semantics for real - time concurrency
We present a fully abstract semantics for real-time distributed computing of the Ada and OCCAM kind in a denotational style. This semantics tums tennination, communication along channels, and the time communication takes place, into observabIes. Yet it is the coarsest semantics to do so which is syntax-directed (this is known as full abstraction). It extends the linear history semantics for CSP...
متن کاملA Concurrency Abstraction for Reliable Sensor Network Applications
The prevailing paradigm in the regime of resource-constrained embedded devices is event-driven programming. It offers a lightweight yet powerful concurrency model without multiple stacks resulting in reduced memory usage compared to multi-threading. However, event-driven programs need to be implemented as explicit state machines, often with no or limited support from the development tools, resu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2013
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2480359.2429099